perm filename DLIST.FCT[VLI,LSP] blob sn#381977 filedate 1978-09-08 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
CāŠ—;

STRHD  "HD UU == UU:d"

STRTL  "TL UU == UU:dlist"

HDCONS  "!dl:dlist. !d:d. HD(CONS d dl) == d"

TLCONS  "!dl:dlist. !d:d. TL(CONS d dl) == dl"

HDNIL  "HD NIL == UU:d"

TLNIL  "TL NIL == UU:dlist"

HDLIST  "!d:d. HD(LIST d) == d"

TLLIST  "!d:d. TL(LIST d) == NIL"

LISCNS  "!d:d. LIST d == CONS d NIL"

CNSNIL  "!d:d. EQ(CONS d NIL)NIL == FF"